Nuprl Definition : action
0,22
postcript
pdf
Action(
dec
) == Unit+
k
:Knd
dec
(
k
)
latex
Definitions
left
+
right
,
Unit
,
x
:
A
B
(
x
)
,
Knd
,
f
(
a
)
FDL editor aliases
action
origin
dec(k) dec(k) B(x)